Algebraic Data Type

ja: 代数的データ型